type T = { x: number };
type A = { x: number } & B & C;
type A = { x: number } & B<T1> & C<T2>;
export type W<T> = {
  x: T;
};